Quantitative Reliability Assessment for Mobile Cooperative Systems
نویسندگان
چکیده
This article proposes a systematic approach to statistical testing for cooperative systems consisting of autonomous mobile agents. Based on Coloured Petri Net models of cooperative behaviour, it analyses different sources of randomness and defines an automatic test case generation procedure to derive cooperative scenarios according to a given operational profile. As an example, the approach is applied to a model of trolleys moving within a common environment. The results allow for quantitative reliability estimations of cooperative behaviour on the basis of statistical sampling theory.
منابع مشابه
Cooperative Control of Mobile Robots in Creating a Runway Platform for Quadrotor Landing
Multi-agent systems are systems in which several agents accomplish a mission in a cooperative manner. In this paper, a novel idea for the construction of a movable runway platform based on multi-agent systems is presented. It is assumed that an aerial agent (quadrotor) decides to make an emergency landing due to reasons such as a decrease in energy level or technical failure, while there is no ...
متن کاملThe Impact of Cooperative Learning and Mobile Learning through Bluetooth Device on Vocabulary Learning of Iranian EFL Learners
Cooperative learning has been found to affect different aspects of language learning by many researchers (e.g., Kagan, 1995; Kagan, 1999; Kessler, 1992; McGroarty, 1993). Likewise, mobile assisted language learning (MALL) has revealed significant impacts on the improvement of different language skills and components (e.g., Comas-Quinn et al. 2009; Divitini & Chabert, 2009; Motallebzadeh & Ganja...
متن کاملLoss of Load Expectation Assessment in Deregulated Power Systems Using Monte Carlo Simulation and Intelligent Systems
Deregulation policy has caused some changes in the concepts of power systems reliability assessment and enhancement. In this paper, generation reliability is considered, and a method for its assessment using intelligent systems is proposed. Also, because of power market and generators’ forced outages stochastic behavior, Monte Carlo Simulation is used for reliability evaluation. Generation r...
متن کاملAnalysis of Packet Loss and Latency Control for Robust IPTV over Mobile WiMAX and LTE Assessment (RESEARCH NOTE)
Abstract The streamed audio video (AV) content for IPTV across mobile WiMAX channel, the different schemes were discussed to reduce the noise, packet loss and latency. The objective of this paper is to verify the effectiveness of forward error correction (FEC) techniques and to suggest the techniques for robustness problems and to analysis the issues either due to AV coding encoding or due to...
متن کاملManipulability-based Configuration Evaluation of Cooperative Payload Transport by Mobile Robot Collectives
Interest in cooperative systems typically arises when certain tasks are either too complex to be performed by a single agent or when there are distinct benefits that accrue by cooperation of many simple agents. A quantitative examination of performance enhancement, due to the implementation of cooperation, is critical. In this paper, we focus on the development of a quantitative performance-ana...
متن کامل